Termination w.r.t. Q proof of TRS/SK904.19.trs

Termination w.r.t. Q of the following Term Rewriting System could not be shown:

Q restricted rewrite system:
The TRS R consists of the following rules:

-(-(neg(x), neg(x)), -(neg(y), neg(y))) → -(-(x, y), -(x, y))

Q is empty.

↳ QTRS

Q restricted rewrite system:
The TRS R consists of the following rules:

-(-(neg(x), neg(x)), -(neg(y), neg(y))) → -(-(x, y), -(x, y))

Q is empty.